skip to main content


Search for: All records

Creators/Authors contains: "Lin, Yi"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Free, publicly-accessible full text available February 1, 2025
  2. Free, publicly-accessible full text available May 1, 2024
  3. Free, publicly-accessible full text available June 8, 2024
  4. Abstract

    The range of hosts a pathogen can infect is a key trait, influencing human disease risk and reservoir host infection dynamics. Borrelia burgdorferi sensu stricto (Bb), an emerging zoonotic pathogen, causes Lyme disease and is widely considered a host generalist, commonly infecting mammals and birds. Yet the extent of intraspecific variation in Bb host breadth, its role in determining host competence, and potential implications for human infection remain unclear. We conducted a long-term study of Bb diversity, defined by the polymorphic ospC locus, across white-footed mice, passerine birds, and tick vectors, leveraging long-read amplicon sequencing. Our results reveal strong variation in host breadth across Bb genotypes, exposing a spectrum of genotype-specific host-adapted phenotypes. We found support for multiple niche polymorphism, maintaining Bb diversity in nature and little evidence of temporal shifts in genotype dominance, as would be expected under negative frequency-dependent selection. Passerine birds support the circulation of several human-invasive strains (HISs) in the local tick population and harbor greater Bb genotypic diversity compared with white-footed mice. Mouse-adapted Bb genotypes exhibited longer persistence in individual mice compared with nonadapted genotypes. Genotype communities infecting individual mice preferentially became dominated by mouse-adapted genotypes over time. We posit that intraspecific variation in Bb host breadth and adaptation helps maintain overall species fitness in response to transmission by a generalist vector.

     
    more » « less
  5. Abstract The formation of a charge density wave state is characterized by an order parameter. The way it is established provides unique information on both the role that correlation plays in driving the charge density wave formation and the mechanism behind its formation. Here we use time and angle resolved photoelectron spectroscopy to optically perturb the charge-density phase in 1T-TiSe $$_2$$ 2  and follow the recovery of its order parameter as a function of energy, momentum and excitation density. Our results reveal that two distinct orders contribute to the gap formation, a CDW order and pseudogap-like order, manifested by an overall robustness to optical excitation. A detailed analysis of the magnitude of the the gap as a function of excitation density and delay time reveals the excitonic long-range nature of the CDW gap and the short-range Jahn–Teller character of the pseudogap order. In contrast to the gap, the intensity of the folded Se $$_{4p}$$ 4 p * band can only give access to the excitonic order. These results provide new information into the the long standing debate on the origin of the gap in TiSe $$_2$$ 2  and place it in the same context of other quantum materials where a pseudogap phase appears to be a precursor of long-range order. 
    more » « less
  6. Dana Fisman and Grigore Rosu (Ed.)
    Motivated by applications in boolean-circuit design, boolean synthesis is the process of synthesizing a boolean function with multiple outputs, given a relation between its inputs and outputs. Previous work has attempted to solve boolean functional synthesis by converting a specification formula into a Binary Decision Diagram (BDD) and quantifying existentially the output variables. We make use of the fact that the specification is usually given in the form of a Conjunctive Normal Form (CNF) formula, and we can perform resolution on a symbolic representation of a CNF formula in the form of a Zero-suppressed Binary Decision Diagram (ZDD). We adapt the realizability test to the context of CNF and ZDD, and show that the Cross operation defined in earlier work can be used for witness construction. Experiments show that our approach is complementary to BDD-based Boolean synthesis. 
    more » « less